fn main() {
    println!("Hello, world!");
}

fn test01_type_alias() {
    type Kilometers = i32;

    let x: i32 = 5;
    let y: Kilometers = 5;

    println!("x + y = {}", x + y);
}

fn bar() -> ! {}
fn test02_never_type() {
    bar();
}

fn generic<T:?Sized>(t:&T){}
fn test03_sized(){
    generic("1");
}
